($i$, $j$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$=$_{2}$$i$$\rightarrow$ $j$ ; $x$=$_{2}$$j$$\rightarrow$ $i$ else $x$ fi